- substitution clause
- оговорка о праве замены судна другим
English-russian dctionary of contemporary Economics. 2014.
substitution clause
Смотреть что такое "substitution clause" в других словарях:
substitution clause in policy — A provision in an automobile liability policy whereby coverage is extended to the use of an automobile driven by the insured by way of substitution for the vehicle designated in the policy of insurance. 7 Am J2d Auto Ins § 103 … Ballentine's law dictionary
substitution clause in will — See substitution by will … Ballentine's law dictionary
Clause de mobilité — Clauses du contrat de travail en France Droit du travail en France Sources du droit du travail Internationales : OIT · UE Étatiques : Constitution · Loi · Règlement · Jurisprudence Professionnelles : Convention collective · Usage… … Wikipédia en Français
substitution by will — The effect of a clause in a will whereby the testator provides for the replacement of the beneficiary of a particular bequest by another person, or the replacement of a bequest to a designated beneficiary by another bequest to or in favor of the… … Ballentine's law dictionary
Contract Clause — United States of America This article is part of the series: United States Constitution Original text of the Constitution Preamble Articles of the Constitution I · … Wikipedia
Changes clause — A changes clause, in government contracting, is a required clause in government construction contracts. Contents 1 Background 2 Changes clauses for construction contracts in the Federal Acquisition Regulations 3 Purposes … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Term indexing — In computer science, term indexing is the task of creating an index of terms and clauses in a collection.Many operations in automatic theorem provers require search in huge collections of terms and clauses. Such operations typically fall intothe… … Wikipedia
